$\forall$$n$, $m$:$\mathbb{N}$. firstn($n$;upto($m$)) $\sim$ if $n$ $\leq$z $m$ then upto($n$) else upto($m$) fi